$\forall$$A$:Type, ${\it eq}$:EqDecider($A$), $L$:($A$ List), $x$:$A$. ($\uparrow$deq{-}member(${\it eq}$; $x$; $L$)) $\Leftarrow\!\Rightarrow$ ($x$ $\in$ $L$)